1. Resolution Proof Systems :
پدیدآورنده : by Zbigniew Stachniak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algebra -- Data processing.,Artificial intelligence.,Computer science.
رده :
QA76
.
9
.
A96
B993
1996
